structural induction
構造的帰納法
coinduction
Initial algebra
Loop invariant
, analog for loops
/suto3/google.icon
structural induction
image
structural induction
define
structural induction
wikipedia
structural induction
weblio
structural induction
kotobank
structural induction
jisho
structural induction